inference rules in discrete mathematics